Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs

How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search

We investigate how the performance of search for solving finite constraint satisfaction problems (CSPs) is affected by the level of interchangeability embedded in the problem. First, we describe a generator of random CSPs that allows us to control the level of interchangeability in an instance. Then we study how the varying level of interchangeability affects the performance of search for findi...

Neighborhood Interchangeability for Non-binary Csps & Application to Databases

Context in Discrete Constraint Satisfaction Problems

In this paper, we study interchangeability in finite and discrete constraint satisfaction problems (CSPs). In many applications modeled as CSPs, it is important to be able to build on the spot equivalence classes of objects of the world to allow local modifications of the solutions and highlight opportunities for change. The concept of interchangeability, defined by Freuder [4], formalizes equi...

Experimental Evaluation of Interchangeability in Soft CSPs

In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft CSPs and we introduced two notions of relaxation based on degradation δ and on threshold α (neighborhood interchangeability (NI )and α neighborhood interchangeability (αNI )). In this paper we extend the study introduced in [11]...

On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems

Freuder in (1991) defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently (2002), we extended the definition of interchangeability to Soft CSPs and we introduced two notions of relaxations based on degradation δ and on threshold α (neighborhood interchangeability (αNI )and αneighborhood interchangeability NI ). In this paper we study the presence of these rela...